Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
711	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
712	Simply Logical Ð Chapter 6 psearch_bstf([Goal\|Rest],Goal):goal(Goal). search_bstf([Current\|Rest],Goal):children(Current,Children), add_bstf(Children,Rest,NewAgenda), search_bstf(NewAgenda,Goal). Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:10 Heuristic function Algorithm Logic programming Eth Hill climbing Heuristic Artificial intelligence Applied mathematics A* search algorithm Search algorithms Heuristics Mathematics
713	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
714	ACSL Version 1.6 Implementation in Oxygen ACSL: ANSI/ISO C Specication Language Version 1.6 Oxygen Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C++ Pointer C Predicate Logic programming Pascal Function Dangling pointer Software engineering Computing Computer programming
715	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
716	Xmas ad - Journal:Layout 1 Add to Reading List Source URL: www.saimm.co.za Language: English - Date: 2015-01-19 14:58:48 Cybernetics Fuzzy logic Applications of artificial intelligence Lotfi A. Zadeh Expert system Logic programming Intelligent agent Type-2 fuzzy sets and systems Fuzzy electronics Artificial intelligence Science Logic
717	The Parameterized Complexity of Global Constraints∗ C. Bessiere LIRMM Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computer programming Local consistency Constraint satisfaction Constraint logic programming Parameterized complexity Mathematical optimization Clique problem Decomposition method Complexity of constraint satisfaction Constraint programming Theoretical computer science Software engineering
718	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
719	Journal of Educational Psychology 2013, Vol. 105, No. 3, 666 – 682 © 2013 American Psychological Association/$12.00 DOI: a0032095 Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-11-21 16:18:13 Transfer of learning Multiple representations Algorithm Combinatorics Problem solving Logic programming Education Educational psychology Psychology
720	Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Applied mathematics Denotational semantics Operational semantics Theoretical computer science Logic in computer science Programming language semantics

UPDATE